Is computation reversible?

2 Reversible Quantum Computation

It has long been known that to minimise the heat emitted by a determin-istic computer during it's operation it is necessary to make the computation act in a logically reversible manner[Lan61]. Such logically reversible operations require a number of auxiliary bits to be stored, maintaining a history of the computation, and which allows the initial state to be reconstructed by running the comput...

Notes on Reversible Computation

| Erasing a bit requires the dissipation of kB T ln 2 worth of energy, if T is the temperature of the heat bath surrounding one's computer and kB 1:381 10 ?23 Joules/Kelvin is Boltzmann's constant. Is it possible to approach this limit? Is it possible even to blow past it by simply refusing to erase bits?

Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal

Towards Reversible Computation in Erlang

In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programming languages and formalisms, where it has been used for debugging and for enforcing faulttolerance, among others. In this paper, we consider a subset of Erlang, a concurrent language based on the actor model. We formal...

Reversible computation in term rewriting

Essentially, in a reversible programming language, for each forward computation from state S to state S , there exists a constructive method to go backwards from state S ′ to state S. Besides its theoretical interest, reversible computation is a fundamental concept which is relevant in many different areas like cellular automata, bidirectional program transformation, or quantum computing, to na...